منابع مشابه
Synthesis of Hierarchical Systems
In automated synthesis, given a specification, we automatically create a system that is guaranteed to satisfy the specification. In the classical temporal synthesis algorithms, one usually creates a “flat” system “from scratch”. However, real-life software and hardware systems are usually created using preexisting libraries of reusable components, and are not “flat” since repeated subsystems ar...
متن کاملSynthesis of Hierarchical Systems(Revised)
In automated synthesis, given a specification, we automatically create a system that is guaranteed to satisfy the specification. In the classical temporal synthesis algorithms, one usually creates a “flat” system “from scratch”. However, real-life software and hardware systems are usually created using preexisting libraries of reusable components, and are not “flat” since repeated sub-systems a...
متن کاملSynthesis of Hierarchical Systems from a Library
Synthesis is the automated construction of a system from its specification. The basic idea is simple and appealing: instead of developing a system and verifying that it is correct w.r.t. its specification, we use instead an automated procedure that, given a specification, constructs a system that is correct by construction. The first formulation of synthesis goes back to Church [5]; the modern ...
متن کاملModel Aggregation for Hierarchical Control Synthesis of Discrete Event Systems
A model aggregation approach is developed for discrete event systems described by condition/event automata, a class of condition/event systems. It is based on input-output equivalence of the systems. With the approach, a higher level model of a plant in the hierarchical control synthesis of discrete event systems can be derived from a lower level model by hiding insignificant states and events ...
متن کاملFuzzy Hierarchical Location-Allocation Models for Congested Systems
There exist various service systems that have hierarchical structure. In hierarchical service networks, facilities at different levels provide different types of services. For example, in health care systems, general centers provide low-level services such as primary health care services, while the specialized hospitals provide high-level services. Because of demand congestion in service networ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.07.001